Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
111	Last Time on HOL ➜ Defining HOL ➜ Higher Order Abstract Syntax COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computability theory Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Divergence Normal form Theoretical computer science Programming language theory Computer science
112	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
113	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
114	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Mathematics Structure Universal algebra Symbol Constructible universe First-order logic Lambda calculus Mathematical logic Logic Model theory
115	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
116	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
117	Sets, Properties, and Unrestricted Quantification Øystein Linnebo University of Oxford Final draft, 25 October[removed] Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:18 Semantics Quantification Philosophy of language First-order logic Second-order logic Predicate Higher-order logic Plural quantification Type theory Logic Mathematical logic Predicate logic
118	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
119	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
120	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science

UPDATE